Liouville numbers
نویسنده
چکیده
In this work, we define the concept of Liouville numbers as well as the standard construction to obtain Liouville numbers and we prove their most important properties: irrationality and transcendence. This is historically interesting since Liouville numbers constructed in the standard way where the first numbers that were proven to be transcendental. The proof is very elementary and requires only standard arithmetic and the Mean Value Theorem for polynomials and the boundedness of polynomials on compact intervals.
منابع مشابه
All Liouville Numbers are Transcendental
In this Mizar article, we complete the formalization of one of the items from Abad and Abad’s challenge list of “Top 100 Theorems” about Liouville numbers and the existence of transcendental numbers. It is item #18 from the “Formalizing 100 Theorems” list maintained by Freek Wiedijk at http: //www.cs.ru.nl/F.Wiedijk/100/. Liouville numbers were introduced by Joseph Liouville in 1844 [15] as an ...
متن کاملRepresentations of Real Numbers as Sums and Products of Liouville Numbers
A real number x is a Liouville number if to each natural number m there corresponds a rational number hm/krn , with k n,> 1, such that 0 < I x hm/km , < ( 1/km)m Some years ago I showed (possibly jointly with Mahler), that every real number is the sum of two Liouville numbers . A proof of the proposition may now be in the literature, but I do not know of any reference . In any case, the followi...
متن کاملNormal and Martin-Löf Random Numbers
We survey the current known relations between four classes of real numbers: Liouville numbers, computable reals, Borel absolutely normal numbers and Martin-Löf random reals. The expansions of the reals will play an important role. The paper refers to the original material and does not repeat the proofs; a characterisation of Liouville numbers in terms of their expansions will be proved. Finally...
متن کاملA computable absolutely normal Liouville number
We give an algorithm that computes an absolutely normal Liouville number. 1. The main result The set of Liouville numbers is {x ∈ R \Q : ∀k ∈ N, ∃q ∈ N, q > 1 and ||qx|| < q−k} where ||x|| = min{|x−m| : m ∈ Z} is the distance of a real number x to the nearest integer and other notation is as usual. Liouville’s constant, ∑ k≥1 10 −k!, is the standard example of a Liouville number. Though uncount...
متن کاملNon-constant bounded holomorphic functions of hyperbolic numbers - Candidates for hyperbolic activation functions
The Liouville theorem states that bounded holomorphic complex functions are necessarily constant. Holomorphic functions fulfill the socalled Cauchy-Riemann (CR) conditions. The CR conditions mean that a complex z-derivative is independent of the direction. Holomorphic functions are ideal for activation functions of complex neural networks, but the Liouville theorem makes them useless. Yet recen...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- Archive of Formal Proofs
دوره 2015 شماره
صفحات -
تاریخ انتشار 2015